;; .pre-condition Some precondition